A Systematic Approach to System State Restoration during Storage Controller Micro-Recovery
نویسندگان
چکیده
Micro-recovery, or failure recovery at a fine granularity, is a promising approach to improve the recovery time of software for modern storage systems. Instead of stalling the whole system during failure recovery, micro-recovery can facilitate recovery by a single thread while the system continues to run. A key challenge in performing micro-recovery is to be able to perform efficient and effective state restoration while accounting for dynamic dependencies between multiple threads in a highly concurrent environment. We present Log(Lock), a practical and flexible architecture for performing state restoration without re-architecting legacy code. We formally model thread dependencies based on accesses to both shared state and resources. The Log(Lock) execution model tracks dependencies at runtime and captures the failure context through the restoration level. We develop restoration protocols based on recovery points and restoration levels that identify when micro-recovery is possible and the recovery actions that need to be performed for a given failure context. We have implemented Log(Lock) in a real enterprise storage controller. Our experimental evaluation shows that Log(Lock)-enabled micro-recovery is efficient. It imposes < 10% overhead on normal performance and <35% overhead during actual recovery. However, the 35% performance overhead observed during recovery lasts only six seconds and replaces the four seconds of downtime that would result from a system restart.
منابع مشابه
Tracking and Shape Control of a Micro-cantilever using Electrostatic Actuation
In this paper the problems of state estimation, tracking control and shape control in a micro-cantilever beam with nonlinear electrostatic actuation are investigated. The system’s partial differential equation of motion is converted into a set of ordinary differential equations by projection method. Observabillity of the system is proven and a state estimation system is designed using extended ...
متن کاملRobust Lyapunov-based Control of MEMS Optical Switches
In this paper, a robust PID control scheme is proposed for Micro-Electro-Mechanical-Systems (MEMS) optical switches. The proposed approach is designed in a way which solves two challenging and important problems. The first one is successful reference tracking and the second is mitigating the system nonlinearities. The overall system composed of nonlinear MEMS dynamics and the PID controller is ...
متن کاملRobust Lyapunov-based Control of MEMS Optical Switches
In this paper, a robust PID control scheme is proposed for Micro-Electro-Mechanical-Systems (MEMS) optical switches. The proposed approach is designed in a way which solves two challenging and important problems. The first one is successful reference tracking and the second is mitigating the system nonlinearities. The overall system composed of nonlinear MEMS dynamics and the PID controller is ...
متن کاملHardware in Loop of a Generalized Predictive Controller for a Micro Grid DC System of Renewable Energy Sources
In this paper, a hardware in the loop simulation (HIL) is presented. This application is purposed as the first step before a real implementation of a Generalized Predictive Control (GPC) on a micro-grid system located at the Military University Campus in Cajica, Colombia. The designed GPC, looks for keep the battery bank State of Charge (SOC) over the 70% and under the 90%, what ensures the bes...
متن کاملRobust H_∞ Controller design based on Generalized Dynamic Observer for Uncertain Singular system with Disturbance
This paper presents a robust ∞_H controller design, based on a generalized dynamic observer for uncertain singular systems in the presence of disturbance. The controller guarantees that the closed loop system be admissible. The main advantage of this method is that the uncertainty can be found in the system, the input and the output matrices. Also the generalized dynamic observer is used to est...
متن کامل